Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)
by Igor Lavrov,Larisa Maksimova
ISBN 13: 9780306477126
Format: Hardcover (302 pages) Publisher: Springer Published: 31 Mar 2003
Save for later
Interpolation and Definability: Modal and Intuitionistic Logic: 46 (Oxford Logic Guides)
by Dov M. Gabbay,Larisa Maksimova
ISBN 13: 9780198511748
Format: Hardcover (524 pages) Publisher: OUP Oxford Published: 12 May 2005